Advanced formal verification
- Författare
- (Edited by Rolf Drechsler.)
- Språk
- Engelska

Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Kluwer Academic | cop. 2004 | USA, Boston, Mass, London | xxv, 248 sidor. | |
Kluwer Academic Publishers | c2004 | Massachusetts, Boston | xxv, 249 sidor. ill. 25 cm. |